Fix editor hover style margins when Draw Extra Borders is enabled #88652
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #88644
The slight movement seen in the videos provided by @Calinou was caused by a difference in
content_margin
that was only apparent when the Draw Extra Borders option is enabled. I introduced some extra styles in #86378 and didn't test how they were affected with this option on, apologies for the regression. I've now modified the styles so that the margin matches the "normal" stylebox (for FlatMenuButton and MainScreenButton) which fixes the movement issue:Capture2024-02-21.21-25-38.mov
I also added in the correct theme type variation to the "Mono build" button in order to stop the border from appearing in the normal state. Let me know if there's anything else I should account for here, thanks!